Local properties in modal logic
نویسندگان
چکیده
Article history: Received 18 August 2011 Received in revised form 1 March 2012 Accepted 22 April 2012 Available online 2 May 2012
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملKnowing More - From Global to Local Correspondence
Modal correspondence theory is a powerful and effective way to guarantee that adding specific syntactic axioms to a modal logic is mirrored by requiring ‘corresponding’ properties of the underlying Kripke models. However, such axioms not only quantify over all formulas, but they are also global in the sense that the corresponding semantic property is assumed to hold for all states. However, in ...
متن کاملA Zigzag Theory with Local Shear Correction Factors for Semi-Analytical Bending Modal Analysis of Functionally Graded Viscoelastic Circular Sandwich Plates
Free bending vibration analysis of the functionally graded viscoelastic circular sandwich plates is accomplished in the present paper, for the first time. Furthermore, local shear corrections factors are presented that may consider simultaneous effects of the gradual variations of the material properties and the viscoelastic behaviors of the materials, for the first time. Moreover, in contrast ...
متن کاملVerification of Non-Regular Properties
We present a game-based formalism that can be used to do local model checking for FLC, a modal fixed point logic that extends the μ-calculus with a sequential composition operator. This logic is capable of expressing non-regular properties which are interesting for verification purposes.
متن کاملComposing Modal Properties of Programs with Procedures
In component based software design, formal reasoning about programs has to be compositional, allowing global, program-wide properties to be inferred from the properties of its components. The present paper addresses the problem of compositional verification of behavioural control flow properties of sequential programs with procedures, expressed in a modal logic. We use as a starting point a max...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Artif. Intell.
دوره 187 شماره
صفحات -
تاریخ انتشار 2012